EDUARDO NOBLE DE LA TORRE, Universit´e de Montr´eal Alan Turing on the Foundations of Mathematics In 1936 Alan Turing showed that there are mathematical problems which cannot be solved by means of an effective method.

Source URL: cms.math.ca

Re: CAPTCHAs – Understanding CAPTCHA-Solving Services in an Economic Context Marti Motoyama, Kirill Levchenko, Chris Kanich, Damon McCoy, Geoffrey M. Voelker and Stefan Savage University of California, San Diego {mmoto

Source URL: cseweb.ucsd.edu

• Software
• Human-based computation
• CAPTCHA
• Alan Turing
• XRumer
• Luis von Ahn
• Forum spam
• PhpBB
• Turing test
• Computing
• Internet
• Spamming

Advanced Human Authentication System for Sale from ICAP Patent Brokerage ICAP Patent Brokerage announces for sale patents disclosing an improved CAPTCHA (or Reverse Turing Test) system, which makes automated ‘bot’ in

Source URL: www.prweb.com

• Artificial intelligence
• CAPTCHA
• Turing test
• Patent
• Intellectual property
• Science
• Computing
• Monopoly
• Alan Turing
• Patent law

What is an algorithm? Yuri Gurevich Microsoft Research Technical Report MSR-TR[removed], July 2011

Source URL: research.microsoft.com

• Computability theory
• Applied mathematics
• Alan Turing
• Formal methods
• Models of computation
• Algorithm
• Church–Turing thesis
• Computable function
• Turing machine
• Theoretical computer science
• Computer science
• Theory of computation

[3B2-14] man2010020058.3d[removed]

Source URL: www.computer.org

• Procedural programming languages
• ALGOL
• Klaus Samelson
• Turing Award
• Programming language
• Peter Naur
• XPL
• SMALL
• Alan Perlis
• Software engineering
• Computing
• Programming language theory

Epistemological Observations about Mind-Machine Equivalence

Source URL: cogprints.org

• Alan Turing
• Philosophy of artificial intelligence
• Computability theory
• Philosophy of mind
• Theory of computation
• Computing Machinery and Intelligence
• Turing test
• Computability
• Consciousness
• Science
• Cognitive science
• Artificial intelligence

A physical analysis of mechanical computability Steven Lindell Department of Computer Science Haverford College 25 May 2006

Source URL: www-old.newton.ac.uk

• Theory of computation
• Computability theory
• Turing machine
• Models of computation
• Alan Turing
• Algorithm
• Computability
• Computational complexity theory
• Computer
• Theoretical computer science
• Computer science
• Applied mathematics

Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza)

Source URL: www.newton.ac.uk

• Theoretical computer science
• Probabilistic complexity theory
• Formal sciences
• Computational complexity theory
• Mathematical logic
• Computability theory
• Algorithm
• Alan Turing
• Randomized algorithm
• Mathematics
• Science
• Applied mathematics

NASSLLI North American Summer School of Logic, Language, and Information University of Texas at Austin, June 16–24, 2012

Source URL: www.nasslli2012.com

• Artificial intelligence
• Epistemic modal logic
• Modal logic
• Alan Turing
• Logic
• Jeroen Groenendijk
• Hans Kamp
• Science
• British people
• Academia

Asia Pacific Mathematics Newsletter January[removed]Volume 2 Number 1

Source URL: www.austms.org.au

• Mathematics
• Computability theory
• Turing machine
• Alan Turing
• Halting problem
• Hypercomputation
• Interactive computation
• Computability
• Computable number
• Theory of computation
• Theoretical computer science
• Computer science